Staton, Sam: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - Semantics for probabilistic programming

Staton, Sam, Yang, Hongseok, Wood, Frank, Heunen, Chris, Kammar, Ohad

Year:

2016

Language:

english

File:

PDF, 371 KB

english, 2016

2

Effect algebras, presheaves, non-locality and contextuality

Staton, Sam, Uijlen, Sander

Journal:

Information and Computation

Year:

2018

Language:

english

File:

PDF, 1006 KB

english, 2018

3

[Lecture Notes in Computer Science] Language, Logic, and Computation Volume 11456 (12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers) ||

Silva, Alexandra, Staton, Sam, Sutton, Peter, Umbach, Carla

Year:

2019

Language:

english

File:

PDF, 8.88 MB

english, 2019

4

Classical Control and Quantum Circuits in Enriched Category Theory

Rennela, Mathys, Staton, Sam

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 310 KB

english, 2018

5

Comparing Operational Models of Name-Passing Process Calculi

Marcelo Fiore, Sam Staton

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 276 KB

english, 2004

6

Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 414 KB

english, 2009

7

Complementary and Alternative Medicine Use by Primary Care Patients with Chronic Pain

Eric I. Rosenberg, Inginia Genao, Ian Chen, Alex J. Mechaber, Jo Ann Wood, Charles J. Faselis, James Kurz, Madhu Menon, Jane O’Rorke, Mukta Panda, Mark Pasanen, Lisa Staton, Diane Calleson, Sam Cykert

Journal:

Year:

2008

Language:

english

File:

PDF, 86 KB

english, 2008

8

Comparing operational models of name-passing process calculi

Marcelo Fiore, Sam Staton

Journal:

Information and Computation

Year:

2006

Language:

english

File:

PDF, 737 KB

english, 2006

9

A congruence rule format for name-passing process calculi

Marcelo Fiore, Sam Staton

Journal:

Information and Computation

Year:

2009

Language:

english

File:

PDF, 1015 KB

english, 2009

10

Normalization by Evaluation and Algebraic Effects

Ahman, Danel, Staton, Sam

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 327 KB

english, 2013

11

Freyd categories are Enriched Lawvere Theories

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 179 KB

english, 2014

12

[IEEE 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008) - Pittsburgh, PA, USA (2008.06.24-2008.06.27)] 2008 23rd Annual IEEE Symposium on Logic in Computer Science - General Structural Operational Semantics through Categorical Logic

Year:

2008

Language:

english

File:

PDF, 351 KB

english, 2008

13

[IEEE 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - Edinburgh, United Kingdom (2010.07.11-2010.07.14)] 2010 25th Annual IEEE Symposium on Logic in Computer Science - On the Expressivity of Symmetry in Event Structures

Staton, Sam, Winskel, Glynn

Year:

2010

Language:

english

File:

PDF, 326 KB

english, 2010

14

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - Instances of Computational Effects: An Algebraic Perspective

Year:

2013

Language:

english

File:

PDF, 469 KB

english, 2013

15

[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - Algebraic Effects, Linearity, and Quantum Programming Languages

Year:

2015

Language:

english

File:

PDF, 1.28 MB

english, 2015

16

[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - Universal properties of impure programming languages

Staton, Sam, Levy, Paul Blain

Year:

2013

Language:

english

File:

PDF, 717 KB

english, 2013

17

[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - Transition systems over games

Levy, Paul Blain, Staton, Sam

Year:

2014

Language:

english

File:

PDF, 259 KB

english, 2014

18

[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - Substitution, jumps, and algebraic effects

Fiore, Marcelo, Staton, Sam

Year:

2014

Language:

english

File:

PDF, 1.55 MB

english, 2014

19

Algebraic Effects, Linearity, and Quantum Programming Languages

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 1.28 MB

english, 2015

20

Complete Positivity and Natural Representation of Quantum Computations

Rennela, Mathys, Staton, Sam

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 272 KB

english, 2015

21

Preface

Jacobs, Bart, Silva, Alexandra, Staton, Sam

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 103 KB

english, 2014

22

Backtracking with cut via a distributive law and left-zero monoids

PIRÓG, MACIEJ, STATON, SAM

Journal:

Journal of Functional Programming

Year:

2017

Language:

english

File:

PDF, 226 KB

english, 2017

23

The Influence of Discordance in Pain Assessment on the Functional Status of Patients with Chronic Nonmalignant Pain

Panda, Mukta, Staton, Lisa J., Chen, Ian, Kurz, James, Carey, Tim, Calleson, Diane, Cykert, Sam, O’Rorke, Jane, Pasanen, Mark, Menon, Madhusudan, Genao, Inginia, Wood, Joann, Mechaber, Alex, Rosenberg

Journal:

The American Journal of the Medical Sciences

Year:

2006

Language:

english

File:

PDF, 145 KB

english, 2006

24

Denotational validation of higher-order Bayesian inference

Ścibior, Adam, Ghahramani, Zoubin, Kammar, Ohad, Vákár, Matthijs, Staton, Sam, Yang, Hongseok, Cai, Yufei, Ostermann, Klaus, Moss, Sean K., Heunen, Chris

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 428 KB

english, 2017

25

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - A convenient category for higher-order probability theory

Heunen, Chris, Kammar, Ohad, Staton, Sam, Yang, Hongseok

Year:

2017

Language:

english

File:

PDF, 2.10 MB

english, 2017

26

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - A monad for full ground reference cells

Kammar, Ohad, Levy, Paul B., Moss, Sean K., Staton, Sam

Year:

2017

Language:

english

File:

PDF, 1.60 MB

english, 2017

27

[Lecture Notes in Computer Science] Language, Logic, and Computation Volume 11456 (12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers) || Bare Nouns and the Hungarian Mass/Count Distinction

Silva, Alexandra, Staton, Sam, Sutton, Peter, Umbach, Carla

Year:

2019

Language:

english

File:

PDF, 399 KB

english, 2019

28

[Lecture Notes in Computer Science] Language, Logic, and Computation Volume 11456 (12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers) || Language as Mechanisms for Interaction: Towards an Evolutionary Tale

Silva, Alexandra, Staton, Sam, Sutton, Peter, Umbach, Carla

Year:

2019

Language:

english

File:

PDF, 442 KB

english, 2019

29

[Lecture Notes in Computer Science] Language, Logic, and Computation Volume 11456 (12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers) || Compounds or Phrases? Pattern Borrowing from English into Georgian

Silva, Alexandra, Staton, Sam, Sutton, Peter, Umbach, Carla

Year:

2019

Language:

english

File:

PDF, 387 KB

english, 2019

30

[Lecture Notes in Computer Science] Language, Logic, and Computation Volume 11456 (12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers) || Bare Nouns and the Hungarian Mass/Count Distinction

Silva, Alexandra, Staton, Sam, Sutton, Peter, Umbach, Carla

Year:

2019

File:

PDF, 399 KB

2019

31

Preface

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2018

File:

PDF, 104 KB

2018

32

[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Quantum channels as a categorical completion

Huot, Mathieu, Staton, Sam

Year:

2019

Language:

english

File:

PDF, 372 KB

english, 2019